root 2 on number line